Skip to content

docs: fix missing search on mobile, cleanup navbar#618

Open
sanny-io wants to merge 2 commits into
zenstackhq:mainfrom
sanny-io:docs/navbar-cleanup
Open

docs: fix missing search on mobile, cleanup navbar#618
sanny-io wants to merge 2 commits into
zenstackhq:mainfrom
sanny-io:docs/navbar-cleanup

Conversation

@sanny-io

@sanny-io sanny-io commented Jun 13, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

The "Star on Github" button was introducing significant complexity to the navbar. This PR simplifies the navbar, which fixes several things.

  • The search bar now properly appears on mobile devices.
  • There is no longer a horizontal scrollbar on all pages on some screen sizes.
  • An empty sidebar no longer appears on some screen sizes.

Before

image

After

image

Closes #567

Summary by CodeRabbit

  • Refactor

    • Simplified the GitHub navbar link implementation for improved maintainability.

  • Style

    • Updated footer styling with responsive padding.

@vercel

vercel Bot commented Jun 13, 2026

Copy link
Copy Markdown

@sanny-io is attempting to deploy a commit to the ZenStack Team on Vercel.

A member of the Team first needs to authorize it.

@coderabbitai

coderabbitai Bot commented Jun 13, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Review Change Stack

Walkthrough

The navbar GitHub entry was simplified from a custom embedded HTML button to a standard link configuration, with matching CSS cleanup. Custom GitHub button styling was removed from the stylesheet and replaced with a new footer padding rule.

Changes

GitHub Navbar Link Simplification

Layer / File(s) Summary
GitHub navbar link and CSS update
docusaurus.config.js, src/css/custom.css		 The navbar GitHub item now references https://github.com/zenstackhq/zenstack using a simple object with href, label, and position properties instead of embedded HTML. GitHub-button-specific CSS rules and responsive styling are removed and replaced with a new .footer Tailwind @apply rule that sets horizontal padding.

🎯 1 (Trivial) | ⏱️ ~3 minutes

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly summarizes the main changes: fixing missing search on mobile and cleaning up the navbar by removing the GitHub button.
Linked Issues check ✅ Passed The code changes directly address issue #567 by removing the GitHub button that was cluttering the navbar, which resolves the missing search bar on mobile.
Out of Scope Changes check ✅ Passed All changes are directly related to the linked issue: navbar simplification by removing the GitHub button and associated CSS styling.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.

✏️ Tip: You can configure your own custom pre-merge checks in the settings.

✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Search bar is missing on mobile

1 participant

@sanny-io